Issue1465-record.agda:1,8-8
Issue1465-record.agda:1,8: Not a valid identifier: _
<EOF><ERROR>
...
